Merge pull request #786 from ecsv/batman-parallel
authorElektra Wagenrad <[email protected]>
Sat, 19 Feb 2022 11:27:34 +0000 (12:27 +0100)
committerGitHub <[email protected]>
Sat, 19 Feb 2022 11:27:34 +0000 (12:27 +0100)
batman packages: Allow parallel builds


Trivial merge